total boundedness

[数] 全有界性